MINIMUM MODELS OF SECOND-ORDER SET THEORIES
نویسندگان
چکیده
منابع مشابه
Diameter Two Graphs of Minimum Order with Given Degree Set
The degree set of a graph is the set of its degrees. Kapoor et al. [Degree sets for graphs, Fund. Math. 95 (1977) 189-194] proved that for every set of positive integers, there exists a graph of diameter at most two and radius one with that degree set. Furthermore, the minimum order of such a graph is determined. A graph is 2-self- centered if its radius and diameter are two. In this paper for ...
متن کاملModels of second-order Zermelo set theory
Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory (ZF) shows that Vù, the first transfinite level of the hierarchy, is a model of all the axioms of ZF with the exception of the axiom of infinity. And, in general, one finds that if κ is a strongly inaccessible ordinal, then Vκ is a model of all of the axioms of ZF.1 (For all these models, we take ∈ to be the standard element...
متن کاملSecond-order algebraic theories
Fiore and Hur [10] recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the vie...
متن کاملRelative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories
This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditional ω. Namely, the equivalence between normal transfinite recursion scheme and new dependent transfinite recursion scheme, which does hold in the context of subsystems of second or...
متن کاملdiameter two graphs of minimum order with given degree set
the degree set of a graph is the set of its degrees. kapoor et al. [degree sets for graphs, fund. math. 95 (1977) 189-194] proved that for every set of positive integers, there exists a graph of diameter at most two and radius one with that degree set. furthermore, the minimum order of such a graph is determined. a graph is 2-self- centered if its radius and diameter are two. in this paper for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2019
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2019.27